نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
تعداد ۱۴۲ پاسخ غیر تکراری از ۱۴۳ پاسخ تکراری در مدت زمان ۴,۴۲ ثانیه یافت شد.
141. 8th International Conference on Automated Deduction :
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
edited by Jörg H. Siekmann.
کتابخانه:
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
(
قم
)
موضوع :
Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
رده :
142. xi, 306 p. :
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
Asra Q. Nomani.
کتابخانه:
كتابخانه مجلس شورای اسلامى
(
تهران
)
موضوع :
رده :
»
8
7
6
5
4
3
2
1
«
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد